Search Results
@rae: Unboxed types in GHC
@rae: GHC defaults type representations at pretty arbitrary places
@rae: Implementing an arity-polymorphic unboxed tuple operator
@rae: All about `deriving` in GHC
@rae: Let should not be generalized: the MonoLocalBinds extension to GHC
@rae: Removing (/=) from the Eq type class
@rae: Impredicative types and dynamic types -- useful in parsing JSON
@lexi_lambda: The GHC strictness analyzer, unboxing, and the worker-wrapper transformation
@rae: Ideas for optimizing Haskell
@rae: A not-so-quick look at Quick Look impredicativity
@rae: An introduction to Haskell's kinds
@rae: How to program in types with length-indexed vectors: Part 1
